141![Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract](https://www.pdfsearch.io/img/1aecf33ce6f86fd91af39761ce540dfa.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.eduLanguage: English - Date: 2009-07-10 13:52:18
|
---|
142![Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University](https://www.pdfsearch.io/img/ba2dace5508331200249736a1de689b5.jpg) | Add to Reading ListSource URL: publications.aston.ac.ukLanguage: English - Date: 2017-02-05 19:13:20
|
---|
143![Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/1c341bb13b932479a2bb79495145a571.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-06-29 07:04:13
|
---|
144![FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF](https://www.pdfsearch.io/img/be90b63fd0b61978880c4c1a3011ae0d.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:13
|
---|
145![Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science](https://www.pdfsearch.io/img/6106e8fa8e85fe38fa938559a0f4eceb.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:57:47
|
---|
146![GloVe: Global Vectors for Word Representation Jeffrey Pennington, Richard Socher, Christopher D. Manning Computer Science Department, Stanford University, Stanford, CA 94305 , , mann GloVe: Global Vectors for Word Representation Jeffrey Pennington, Richard Socher, Christopher D. Manning Computer Science Department, Stanford University, Stanford, CA 94305 , , mann](https://www.pdfsearch.io/img/e7b7c44e34672df38bf5de9fe1b0349f.jpg) | Add to Reading ListSource URL: nlp.stanford.eduLanguage: English - Date: 2018-04-09 22:53:03
|
---|
147![Curriculum Vitae — Computer Science Ian Glen Neal (+ Education Curriculum Vitae — Computer Science Ian Glen Neal (+ Education](https://www.pdfsearch.io/img/ad659febb2a8fa0215c56d796a7bc7b5.jpg) | Add to Reading ListSource URL: about.iangneal.ioLanguage: English - Date: 2018-10-04 15:10:51
|
---|
148![SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE](https://www.pdfsearch.io/img/d2933cfcf947607e1fe8528821c7bf4e.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-04-10 06:51:54
|
---|
149![Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite](https://www.pdfsearch.io/img/5d71ac755d8aa887d9ec91bbe069355f.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2015-04-15 12:27:37
|
---|
150![Order-LWE and the Hardness of Ring-LWE with Entropic Secrets Zvika Brakerski Renen Perlman Weizmann Institute of Science∗ Abstract Order-LWE and the Hardness of Ring-LWE with Entropic Secrets Zvika Brakerski Renen Perlman Weizmann Institute of Science∗ Abstract](https://www.pdfsearch.io/img/8492c24a6217ea4650d79d9e3c9e2984.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2018-05-21 15:18:19
|
---|